M.aframe(k affects x)
== L != 1of(2of(2of(2of(2of(2of(2of(2of(2of(M)))))))))(k)  deq-member(IdDeq;x;L) 

latex

---

clarification:

M.aframe(k affects x)
== fpf-val(KindDeq; 1of(2of(2of(2of(2of(2of(2of(2of(2of(M))))))))); k; k,L.deq-member(IdDeq;x;L)
== fpf-val() 

latex

Definitions	z != f(x)  P(a;z), KindDeq, 1of(t), 2of(t), b, deq-member(eq;x;L), IdDeq
FDL editor aliases	ma-aframe